filmov
tv
rules of inference for quantified statements